Formal methods

Results: 2204



#Item
131DevOps Meets Formal Modelling in High-Criticality Complex Systems Marta Olszewska Marina Waldén

DevOps Meets Formal Modelling in High-Criticality Complex Systems Marta Olszewska Marina Waldén

Add to Reading List

Source URL: tusiek.unforgiven.pl

Language: English - Date: 2015-08-21 02:07:30
132Practical Proof Checking for Program Certification Geoff Sutcliffe1 , Ewen Denney2 , Bernd Fischer2 1 University of Miami

Practical Proof Checking for Program Certification Geoff Sutcliffe1 , Ewen Denney2 , Bernd Fischer2 1 University of Miami

Add to Reading List

Source URL: ti.arc.nasa.gov

Language: English
133Mechanized Semantics for Compiler Verification Xavier Leroy INRIA Paris-Rocquencourt Abstract. The formal verification of compilers and related programming tools depends crucially on the availabili

Mechanized Semantics for Compiler Verification Xavier Leroy INRIA Paris-Rocquencourt Abstract. The formal verification of compilers and related programming tools depends crucially on the availabili

Add to Reading List

Source URL: pauillac.inria.fr

Language: English - Date: 2012-12-13 08:22:59
134TECHSPLORATION CONSENSUS MODEL Background and History Consensus Model: At the January 2008 Techsploration Board of Directors meeting it was agreed to adopt the Consensus Model as the decision making process for the Techs

TECHSPLORATION CONSENSUS MODEL Background and History Consensus Model: At the January 2008 Techsploration Board of Directors meeting it was agreed to adopt the Consensus Model as the decision making process for the Techs

Add to Reading List

Source URL: techsploration.ca

Language: English - Date: 2011-11-28 10:54:15
135Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski

Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski

Add to Reading List

Source URL: mizar.uwb.edu.pl

Language: English - Date: 2016-07-29 01:16:07
136Invariant Patterns for Program Reasoning Andrew Ireland and Bill J. Ellis and Tommy Ingulfsen School of Mathematical & Computer Sciences Heriot-Watt University, Edinburgh, Scotland, UK .

Invariant Patterns for Program Reasoning Andrew Ireland and Bill J. Ellis and Tommy Ingulfsen School of Mathematical & Computer Sciences Heriot-Watt University, Edinburgh, Scotland, UK .

Add to Reading List

Source URL: www.macs.hw.ac.uk

Language: English - Date: 2004-11-10 11:54:07
137EBS_105 Corp Brochure 2016_For Pat

EBS_105 Corp Brochure 2016_For Pat

Add to Reading List

Source URL: www.emergentcontractmanufacturing.com

Language: English - Date: 2016-07-18 16:28:03
138University of Science and Technology of China A dissertation submitted for the degree of PhD Refinement Verification of Concurrent Programs and Its Applications

University of Science and Technology of China A dissertation submitted for the degree of PhD Refinement Verification of Concurrent Programs and Its Applications

Add to Reading List

Source URL: staff.ustc.edu.cn

Language: English - Date: 2015-04-24 09:43:54
139Integrated Analysis from Abstract Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.

Integrated Analysis from Abstract Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2008-10-17 04:53:23
140Advances in Programming Languages APL4: JML — The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics

Advances in Programming Languages APL4: JML — The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics

Add to Reading List

Source URL: www.inf.ed.ac.uk

Language: English - Date: 2010-01-20 18:21:25